flask: add tools/flask/utils/flask-label-pci to .hgignore
authorIan Jackson <Ian.Jackson@eu.citrix.com>
Mon, 12 Dec 2011 17:59:43 +0000 (17:59 +0000)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Mon, 12 Dec 2011 17:59:43 +0000 (17:59 +0000)
commit03e7a9bacdca30814a8dc91cecc3ca2616c79b85
treec765932bd443a75739905e5020f0b33d1602b0f8
parentbdf07e8ed2690fb5e39371e6672df9dd30495a29
flask: add tools/flask/utils/flask-label-pci to .hgignore

This was apparently forgotten in 24353:448c48326d6b

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
diff -r 7e90178b8bbf -r c995cdcc3700 .hgignore
--- a/.hgignore Mon Dec 12 17:48:42 2011 +0000
+++ b/.hgignore Mon Dec 12 17:58:25 2011 +0000
@@ -157,6 +157,7 @@
 ^tools/flask/utils/flask-getenforce$
 ^tools/flask/utils/flask-loadpolicy$
 ^tools/flask/utils/flask-setenforce$
+^tools/flask/utils/flask-label-pci$
 ^tools/fs-back/fs-backend$
 ^tools/hotplug/common/hotplugpath\.sh$
 ^tools/include/xen/.*$
.hgignore